(spécialiste de la logique mathématique)

См. также в других словарях:

• LOGIQUE MATHÉMATIQUE — La logique au sens étroit du terme, c’est à dire la logique formelle par opposition à l’épistémologie ou à la théorie de la connaissance, se propose de donner une théorie de l’inférence formellement valide. Elle considère comme valide toute… …   Encyclopédie Universelle

• logique — 1. logique [ lɔʒik ] n. f. • XIIIe; lat. logica, gr. logikê, de logos « raison » I ♦ 1 ♦ Science ayant pour objet l étude, surtout formelle, des normes de la vérité; « analyse formelle de la connaissance » (Piaget). Logique formelle, logique pure …   Encyclopédie Universelle

• Mathématique juridique — La Mathématique Juridique a été créée au Brésil en 1996, par la professeur de mathématique Zélia S.R. GUICHARD[1] et dispensée postérieurement dans son école spécialisée en mathématique, le Cabinet d Etude de Mathématique (GUICHARD Groupes d… …   Wikipédia en Français

• Groupe (mathématique) — Groupe (mathématiques) Pour les articles homonymes, voir Groupe.  Cet article concerne une introduction au concept de groupe. Pour un approfondissement, voir théorie des groupes …   Wikipédia en Français

• logisticien — logisticien, ienne [ lɔʒistisjɛ̃, jɛn ] n. • 1908; de logistique ♦ Didact. 1 ♦ Spécialiste de la logique mathématique. 2 ♦ Spécialiste de la logistique (II). ● logisticien, logisticienne nom Vieux. Spécialiste de la logique moderne. Spécialiste… …   Encyclopédie Universelle

• HILBERT (PROBLÈMES DE) — «Qui ne se réjouirait de pouvoir soulever le voile qui cache le futur, de jeter un regard sur le développement des mathématiques, ses progrès ultérieurs, les secrets des découvertes des siècles à venir?...» Prévoir le futur des mathématiques: qui …   Encyclopédie Universelle

• COGNITIVES (SCIENCES) — Les sciences cognitives ont pour objet de décrire, d’expliquer et le cas échéant de simuler les principales dispositions et capacités de l’esprit humain – langage, raisonnement, perception, coordination motrice, planification... Nées il y a… …   Encyclopédie Universelle

• Haskell Curry — Pour les articles homonymes, voir Haskell et Curry (homonymie). Haskell Brooks Curry (né le 12 septembre 1900 et mort le 1er septembre 1982) était un mathématicien et logicien américain. Ses travaux ont posé les bases de la… …   Wikipédia en Français

• Haskell Brooks Curry — Haskell Curry Pour les articles homonymes, voir Haskell et Curry (homonymie). Haskell Brooks Curry (né le 12 septembre 1900 et décédé le 1er septembre 1982) était un mathématicien et logicien américain. Ses travaux ont posé… …   Wikipédia en Français

• GÖDEL (K.) — Issue de la pensée de Boole, de Cantor et de Frege au cours de la seconde moitié du XIXe siècle, la logique mathématique connaît ses premiers développements grâce à Hilbert et à Russel et Whitehead (premier quart du XXe siècle). Mais c’est à Kurt …   Encyclopédie Universelle

• analyste — [ analist ] n. • 1638; de analyse 1 ♦ Spécialiste d un type d analyse. ♢ Mathématicien analyste, chimiste analyste. Analyste financier. Informaticien analyste : ingénieur ou technicien compétent pour l analyse d un programme. Cour. Analyste… …   Encyclopédie Universelle